Merge branch 'demo-highlighting' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 7 Aug 2020 16:21:55 +0000 (16:21 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 7 Aug 2020 16:21:55 +0000 (16:21 +0000)
gtk-demo: Modernize source highlighting

See merge request GNOME/gtk!2401


Trivial merge